Computable number - PDFSEARCH.IO - Document Search Engine

Computable number
Results: 71

#	Item
11	Topics in the Theory and Practice of Computable Analysis Branimir Lambov PhD Dissertation Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2006-06-09 09:40:53 Computability theory Theory of computation Computable number Computable analysis Mathematical analysis Mathematical logic Function Computable function Hypercomputation
12	Computability Theory, Reverse Mathematics, and Ordered Fields Oscar Louis Levin, Ph.D. University of Connecticut, 2009 Add to Reading List Source URL: www.math.uconn.edu Language: English - Date: 2009-04-27 16:38:49 Field theory Computability theory Real algebraic geometry Theory of computation Elementary mathematics Ordered field Computable function Field Archimedean property Function Real number Reverse mathematics
13	ASYMPTOTIC DENSITY, COMPUTABLE TRACEABILITY, AND 1-RANDOMNESS URI ANDREWS, MINGZHONG CAI, DAVID DIAMONDSTONE, CARL JOCKUSCH, AND STEFFEN LEMPP Abstract. Let r be a real number in the unit interval [0, 1]. A set A ⊆ ω Add to Reading List Source URL: www.math.uiuc.edu Language: English
14	Who Can Name the Bigger Number? Scott Aaronson∗ 1999 In an old joke, two noblemen vie to name the bigger number. The first, after ruminating for hours, triumphantly announces ”Eighty-three!” The second, Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2008-12-18 11:10:27 Theory of computation Computability theory Busy beaver Computable function Computability Turing machine Halting problem Hypercomputation Computable number Algorithm Alan Turing Ackermann function
15	Indifferent sets Santiago Figueira∗ Joseph S. Miller† Andr´e Nies‡ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2009-01-20 10:12:05 Measure theory Normal number Support Computable function Computability theory Theory of computation Mathematics
16	Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:33:09 Theory of computation Computability theory Functions and mappings Recursion Function Computable number Compact space Subspace topology Sierpiński space Topology Mathematics General topology
17	Feasible analysis, randomness, and base invariance Santiago Figueira Andr´e Nies March 26, 2014 Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2014-03-26 16:19:21 Computability theory Theory of computation Game theory Martingale Martingale theory Normal distribution Symbol Normal number Computable function Mathematics Statistics Theoretical computer science
18	Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:32:50 Theory of computation Mathematical logic General topology Functional analysis Computable number Computable function Continuous function Baire space Topological space Computability theory Mathematics Topology
19	Alan Turing: the logical and physical basis of computing Andrew Hodges∗ Wadham College, University of Oxford, Oxford OX1 3PN, U.K. This paper is based on the talk given on 5 June 2004 at the conference at Manchester Un Add to Reading List Source URL: www.bcs.org Language: English - Date: 2011-01-10 14:18:09 Computer science Mathematics Alan Turing Turing machine Church–Turing thesis Computable function Halting problem Computable number Computability Computability theory Theory of computation Theoretical computer science
20	Computing over the Reals: Foundations for Scientific Computing Mark Braverman and Stephen Cook Introduction Add to Reading List Source URL: www.ams.org Language: English - Date: 2006-02-08 14:25:07 Computer science Theory of computation Alan Turing Models of computation Computable function Church–Turing thesis Computability Computational complexity theory Computable number Computability theory Theoretical computer science Mathematics

UPDATE